Revision: tla-tools--devo--0--patch-41
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Sat Sep  6 16:36:25 JST 2003
Standard-date: 2003-09-06 07:36:25 GMT
Modified-files: tla-funs.awk
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-41
Summary: Fix string-escape bug in tla-funs.awk

